Carolyn L. Talcott (eds.): search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (7)
Most Popular
List
- List
- Table

1

Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman: lecture notes in logic 15

Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman: lecture notes in logic 15

A K Peters/CRC Press

Sieg, Wilfried, Sommer, Richard, Talcott, Carolyn L et al. (eds.)

Year:

2002

Language:

english

File:

DJVU, 4.62 MB

0 / 0

english, 2002

2

Coordination Models and Languages: 5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings

Coordination Models and Languages: 5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Perdita Stevens (auth.), Farhad Arbab, Carolyn Talcott (eds.)

Year:

2002

Language:

english

File:

PDF, 4.04 MB

0 / 0

english, 2002

3

Composing Model-Based Analysis Tools

Composing Model-Based Analysis Tools

Robert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler, (eds.)

Year:

2021

Language:

english

File:

PDF, 10.01 MB

0 / 5.0

english, 2021

4

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Springer International Publishing

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott (eds.)

Year:

2015

Language:

english

File:

PDF, 17.75 MB

0 / 0

english, 2015

5

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro (auth.), Scott F. Smith, Carolyn L. Talcott (eds.)

Year:

2000

Language:

english

File:

PDF, 14.70 MB

0 / 0

english, 2000

6

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.)

Year:

2002

Language:

english

File:

PDF, 5.85 MB

0 / 0

english, 2002

7

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.)

Year:

2002

Language:

english

File:

PDF, 4.34 MB

0 / 0

english, 2002